NumberWorkSpace.java

public class NumberWorkSpace extends WorkSpace {
	int vertexCounter;

	public NumberWorkSpace() {
		vertexCounter = 0;
	}

	public void preVisitAction(Vertex v) {
		// This assigns the values on the way in
		if (v.visited != true) {
			v.vertexNumber = vertexCounter++;
		}
	}
}